Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kovács, Laura (EDT)/ Meinke, Karl (EDT)

  • ウェブストア価格 ¥10,696(本体¥9,724)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 97pt
  • 海外からお取り寄せ(通常6~9週間)
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Bennaceur, Amel (EDT)/ Hähnle, Reiner (EDT)/ Meinke, Karl (EDT)

  • ウェブストア価格 ¥12,681(本体¥11,529)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 115pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。